proof alternating harmonic series = ln2